Automatic Test Case Generation from Functional Requirements in NDT
نویسندگان
چکیده
Navigational Development Techniques (NDT) is a Model-driven framework focused on defining Web requirements and obtaining related artefacts from them by means of transformations. Testing is one of the key elements in a software development process, however NDT neither include models to define artefacts nor transformations to obtain them from requirements. This paper presents how NDT improves with new models and transformations in order to generate test cases.
منابع مشابه
An automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملModeling Requirements for Quantitative Consistency Analysis and Automatic Test Case Generation
We present improvements of software development processes based on formalized functional requirements. Fundamental basis is a graphical formalism called simplified universal pattern allowing users to model requirements using the intrinsic nature of functional requirements specifying a trigger/action relation. The underlying graphical formalism enables to generate additional benefits to existing...
متن کاملAETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements
AETG Web is a web based service developed by Bellcore researchers for enabling model based testing. In model based testing, the functional test requirements of the system are first modeled and then testcases based on this model are created or generated. AETG Web employs a web based user interface to model the functional requirements of the System Under Test, and automatically generates testcase...
متن کاملSynthesis of High-Level Requirements Models for Automatic Test Generation
This paper describes research and development of techniques to support automatic generation of test cases for event-oriented, real-time embedded systems. A consistent suite of test scenarios can assure consistency at all levels of design activities. Although we have developed algorithms designed to generate test scenarios from statebased jiinctional requirements model, their applicability is se...
متن کاملMetadata Enrichment for Automatic Data Entry Based on Relational Data Models
The idea of automatic generation of data entry forms based on data relational models is a common and known idea that has been discussed day by day more than before according to the popularity of agile methods in software development accompanying development of programming tools. One of the requirements of the automation methods, whether in commercial products or the relevant research projects, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012